課程名稱 |
基本邏輯下 Elementary Logic (2) |
開課學期 |
99-2 |
授課對象 |
文學院 哲學系 |
授課教師 |
彭孟堯 |
課號 |
Phl1006 |
課程識別碼 |
104 12002 |
班次 |
|
學分 |
2 |
全/半年 |
全年 |
必/選修 |
必帶 |
上課時間 |
星期一2(9:10~10:00)星期五3,4(10:20~12:10) |
上課地點 |
水源階梯201水源階梯201 |
備註 |
總人數上限:90人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/992logic_2 |
課程簡介影片 |
|
核心能力關聯 |
本課程尚未建立核心能力關連 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
邏輯是一門形式科學,並有其哲學預設,因而本門課將涵蓋:(一)從「形式系統」,亦即語法與語意的面向,來解說初階邏輯(包括命題邏輯與述詞邏輯),包括公設系統以及樹枝圖系統,另外也會補充一些後設定理(如真確性以及完備性)的介紹;(二)從哲學角度解說幾個重要的邏輯概念,例如「有效性」、「真值函數」、「專名」、「描述詞」、「空詞」、「等同」等,以及其它涉及邏輯的概念,例如「真」、「模態」、「模糊詞」等。
最後,本門課將介紹一些「機率」與「歸納邏輯」的內容(包括因果推論、類比推論、最佳解釋推論)。 |
課程目標 |
熟悉邏輯形式系統及其相關概念的哲學解說;熟悉機率與歸納邏輯的基本概念。 |
課程要求 |
|
預期每週課後學習時數 |
|
Office Hours |
每週三 13:20~14:10 每週四 13:30~14:30 備註: 可email另行約定時間 |
指定閱讀 |
|
參考書目 |
Priest, G. (2000). Logic: A Very Short Introduction. Oxford UP.
Sider, T. (2010). Logic For Philosophy. Oxford UP. Chap. 1, 2, 4.
Fisher, J. (2008). On the Philosophy of Logic. Wadsworth. |
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
期中考試 |
40% |
|
2. |
學期考試 |
40% |
|
3. |
作業及討論 |
20% |
|
|
週次 |
日期 |
單元主題 |
第1週 |
2/21,2/25 |
introduction;
formal system basics (Sider: 1; Fisher: 4) |
第2週 |
2/28,3/04 |
formal system: propositional logic (Sider: 1, 2) |
第3週 |
3/07,3/11 |
formal system: propositional logic (Sider: 2) |
第4週 |
3/14,3/18 |
formal system: propositional logic (Sider: 4) |
第5週 |
3/21,3/25 |
formal system: predicate logic (Sider: 4) |
第6週 |
3/28,4/01 |
formal system: predicate logic (Sider: 4) |
第7週 |
4/04,4/08 |
truth (Fisher: chap. 3)
validity & truth function (Priest: 1, 2) |
第8週 |
4/11,4/15 |
truth (Fisher: 3)
validity & truth function (Priest: 1, 2)
names, descriptions, references, quantifiers, identity
(Priest: 3, 4, 5; Fisher: 5) |
第9週 |
4/18,4/22 |
mid-term exam. |
第10週 |
4/25,4/29 |
names, descriptions, references, quantifiers, identity
(Priest: 3, 4, 5; Fisher: 5) |
第11週 |
5/02,5/06 |
names, descriptions, references, quantifiers, identity
(Priest: 3, 4, 5; Fisher: 5)
modality (Priest: chap. 6, 8, 9; Fisher: chap. 6, 7) |
第12週 |
5/09,5/13 |
modality (Priest: 6, 8, 9; Fisher: 6, 7) |
第13週 |
5/16,5/20 |
modality (Priest: 6, 8, 9; Fisher: 6, 7)
conditional (Priest: chap. 7; Fisher: 8) |
第14週 |
5/23,5/27 |
conditional (Priest: 7; Fisher: 8) |
第15週 |
5/30,6/03 |
metaphysics of logic (Fisher: 12) |
第16週 |
6/06,6/10 |
probability & induction (Priest: 11, 12) |
第17週 |
6/13,6/17 |
probability & induction (Priest: 11, 12) |
|